Week 02: 命题逻辑 I：命题与真值 Propositional Logic I: Propositions and Truth Values

命题、联结词、真值表、逻辑联结词（∧, ∨, ¬, →, ↔）

Propositions, connectives, truth tables, logical operations

Week 03: 命题逻辑 II：等值与推理 Propositional Logic II: Logical Equivalence & Inference

等值公式、德·摩根定律、基本推理形式

Logical equivalence, De Morgan’s laws, basic inference forms

Week 04: 形式化推理与证明 Formal Reasoning and Proof

自然演绎法、演绎推理与证明结构

Natural deduction, deductive reasoning and formal proof

Week 05: 谓词逻辑 I：基本概念 Predicate Logic I: Basic Concepts

谓词、变项、量词（∀, ∃）、翻译自然语言句子

Predicates, variables, quantifiers, translating sentences

Week 06: 谓词逻辑 II：推理与验证 Predicate Logic II: Inference and Validity

谓词逻辑中的推理模式、有效性判断

Logical inference in predicate logic, determining validity

Week 07: 逻辑谬误 I：非形式谬误 Logical Fallacies I: Informal Fallacies

常见推理错误等

Common errors in reasoning: relevance fallacies, ad hominem, straw man, slippery slope, etc.

Week 08: 逻辑谬误 II：形式谬误 Logical Fallacies II: Formal Fallacies

不合法推理结构、混淆前提与结论、不当类比等

Invalid inference structures, false premises, improper analogies

Week 09: 数理逻辑与计算机应用 Introduction to Mathematical Logic & Computer Applications

布尔代数、数理模型、逻辑在计算机科学中的应用

Boolean algebra, formal models, applications in computer science

Week 10: 逻辑与语言 Logic and Natural Language

模糊语言的逻辑处理、含义与语用学分析

Ambiguity, semantic analysis, pragmatics and logic

Week 11: 总结与案例分析 Review and Case Studies

综合案例分析、期末总结复习、答疑解惑

Case study review, final summary, and Q&A